introduction to logical statements and truth tables